We can see here a conexion in python 3.0 between SAT3 and P. The #P is still under revision, but it works in a way.
IMPROVED with matrices: https://archive.org/details/alternancias
OcrABBYY FineReader 9.0
RightsMy only purpose is that my technology works freely wherever and people know who was the author, because in this very moment I am unemploeied and in crysis in Spain. I have a curriculum but no a reputation or affiliation.